prenex-disjunctive normal form
[网络] 前束合取正规形式；前束析取范式
热门查询
- fireside n. 炉边；家庭 n. (Fireside)人名；(英)法尔赛德 adj. 炉边的；非正式的
- anneal n. 退火；锻炼，磨练 vt. 使退火，韧炼；锻炼
- sociopolitical adj. 社会政治的
- jammer n. 干扰发射机；U型钢丝芯撑
- sandpaper n. 砂纸 vt. 用砂纸擦光
- selectivity n. 选择性；分离性；选择度
- homogenizing n. 均质化
- treat n. 请客；款待 vi. 探讨；请客；协商 vt. 治疗；对待；探讨；视为 n. (Treat)人名；(英)特里特
- cdc abbr. 疾病防治中心（Centers for Disease Control）；（美）市民民防团（Citizens ' Defense Corps）；控制数据公司（Control Data Corp）
- maddened vt. 使疯狂；激怒 vi. 发狂 n. (Madden)人名；(英、意、捷)马登
- Francie [人名] [苏格兰人姓氏] 弗朗西 Francis的变体; [男子名] 弗朗西 Francis的昵称; [女子名] 弗朗西 Frances的昵称
- pap n. 半流质食物；奶头；软食 n. (Pap)人名；(葡、罗、塞、芬、挪、冈)帕普
- concatenation n. 串联，连结
- apposite adj. 适当的；贴切的
- nadir n. 最低点，最底点；[天] 天底 n. (Nadir)人名；(土、葡、巴基、阿拉伯)纳迪尔
- trivialise vt. <贬>使显得琐碎[不重要、不难等]，轻视
- barbican n. 外堡, 碉楼
- seasick adj. 晕船的 晕船
- vick [人名] 维克; [地名] [美国] 维克
- undistributed adj. 未分配的；未分发的
